(DEFUN TFLAT (X U) (CONS (LIST X U) (COND ((ATOM X) (LIST (CONS X U))) (T ((LAMBDA (Z) (CONS Z (TFLAT (CAR X) (CAR (LAST Z))))) (TFLAT (CDR X) U))))))